Plug computer - PDFSEARCH.IO - Document Search Engine

Plug computer
Results: 495

#	Item
61	DATA/ SPEC SHEET HDEXPRESS SERIES NETWORK VIDEO RECORDER (NVR) • 1080P/60 Hzxreal-time recording and display The HDExpress™ is a plug-and-play Network Video Recorder Add to Reading List Source URL: www.sourcesecurity.com Language: English - Date: 2014-05-12 02:23:00 Smartphones Cloud clients IP camera Internet Protocol Surveillance Video Network Video Recorder 1080p IPhone Computer hardware Computing Electronic engineering
62	Absoft Improves Fortran Development on Mac Add to Reading List Source URL: www.absoft.com Language: English - Date: 2013-05-29 09:32:56 Integrated development environments IOS Xcode Fortran Plug-in The Portland Group Software Computing Computer programming
63	WP 0.8 WP Plug-in Manual Version 0.8 for NeonPatrick Baudin, François Bobot, Loïc Correnson, Zaynah Dargaye Add to Reading List Source URL: frama-c.com Language: English - Date: 2014-03-12 13:10:18 Computer programming Logic in computer science Predicate transformer semantics Frama-C Hoare logic Pointer Precondition Assertion Theoretical computer science Program logic Software engineering
64	Assembly Instructions - CT-CA Computer Cursor Control Board The CT-CA Computer Cursor Control Board is a plug-on option used with the CT-1024 terminal system that provides complete manual and/or computer control of curso Add to Reading List Source URL: www.swtpc.com Language: English - Date: 2005-06-08 01:26:05 Printed circuit board Electronics Computing Technology Cursor Control key Control character
65	User Manual Frama-C User Manual Release FluorineLoïc Correnson, Pascal Cuoq, Florent Kirchner, Virgile Prevosto, Armand Puccetti, Julien Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:52 Program analysis Computer programming Static program analysis Plug-in Software Frama-C Computing
66	Developer Manual Plug-in Development Guide Release FluorineJulien Signoles with Loïc Correnson, Matthieu Lemerre and Virgile Prevosto Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:45 Computer programming Plug-in C Intermediate Language Software Computing Frama-C
67	WP 0.6 (Draft Manual) WP Plug-in (Draft) Manual Version 0.6 for OxygenPatrick Baudin, Loïc Correnson, Zaynah Dargaye Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:56 Predicate transformer semantics Software Logic in computer science Hoare logic Frama-C Precondition Lambert W function Program logic Theoretical computer science Formal methods
68	A Laurin Publication IMAGING SOFTWARE Photonic Solutions for Biotechnology and Medicine Add to Reading List Source URL: rsbweb.nih.gov Language: English - Date: 2010-12-10 16:52:48 Computer vision Public domain software ImageJ Plug-in SURF LSM Image analysis Endrov FIJI Software Image processing Computing
69	REES: Reasoning Engine(s) Evaluation Shell Radu Marinescu, Kalev Kask and Rina Dechter School of Information and Computer Science University of California, Irvine {radum,kkask,} Abstract Add to Reading List Source URL: graphmod.ics.uci.edu Language: English - Date: 2009-05-10 16:30:49 Theoretical computer science Graphical models Applied mathematics Algorithm Mathematical logic Mathematical sciences Bayesian network Plug-in Parameter Bayesian statistics Statistical models Mathematics
70	Computer Science Simple C++ (Vol.1) simpler code through better C++11 usage ACCU 2012, Oxford, UK slides: http://wiki.hsr.ch/PeterSommerlad/ Add to Reading List Source URL: wiki.hsr.ch Language: English - Date: 2012-04-27 03:32:07 Compiling tools SCons Eclipse Plug-in Rapperswil Make Software build PC-Lint Apache Ant Software Computing Build automation